Knihy od autora Sriram K. Rajamani

Zobrazeno 1 – 4 z 4 výsledků

1. 

   Verified Software: Theories, Tools, Experiments

   Gary T. Leavens, Peter O'Hearn, Sriram K. Rajamani | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2010

   
   

   Skladem u dodavatele - Odesíláme za 9-15 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1355 Kč

   Koupit
2. 

   Model Checking Software

   Thomas Ball, Sriram K. Rajamani | Springer Nature B.V., 2014

   
   

   Skladem u dodavatele - Odesíláme za 10-18 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1309 Kč

   Koupit
3. 

   Model Checking Software

   Thomas Ball, Sriram K. Rajamani | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2003

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1182 Kč

   Koupit
4. 

   Computer Aided Verification

   Kousha Etessami, Sriram K. Rajamani | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2005

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   2357 Kč

   Koupit

Získali jsme ocenění Shop roku 2014 - finalista. Zjistěte více